- 归结反演, 分解反驳
- resolution: n. 1.决心，果断；坚定，刚毅。 2.(议会等的)决定 ...
- refutation: n. 驳斥，驳倒。
- resolution refutation strategy: 归结反演策略
- resolution refutation system: 归结反演系统
- resolution-refutation graph: 分解反驳图
下载手机词典可随时随地查词查翻译
resolution refutation中文什么意思
- 归结反演, 分解反驳
下载手机词典可随时随地查词查翻译
例句与用法
- Based on the principle of resolution refutation in fl , the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented
根据形式逻辑的归结反演原理，本文给出了一阶谓词逻辑的petri网推理的方法，实现了语义网络的petri网推理。